|
T
T, x, 14, 15, 60, 63, 69, 142, 155, 183, 184, 185, 215, 289, 290, 310, 311, 312, 314, 366, 367, 388, 389, 390, 391, 392, 393, 396, 411, 438, 439, 440, 442, 443, 444, 446, 448, 449, 450, 451, 455, 469, 476, 485, 486, 491, 493, 494, 497
T*, x, 411, 443, 444, 446, 448, 455, 469
tableau, 230
tabula rasa, 264
tactic, 27, 158, 161, 178
tail recursion, 39, 40, 91
Tarver, iv, xiv, 18, 93, 94, 95, 97, 98, 213, 221, 230, 489, 495, 496
Taylor, 170, 489
TDPL, 142
135, 136
theorem, 33, 160, 161, 162, 228, 229, 230, 349, 432, 433, 434, 487
theorem-prover, 228, 229, 230, 349
Thompson, 12, 18, 496
throw-away design, 195
timout, 250
top down parsing, 134
top level, 20, 21, 22, 41, 76, 77, 194, 200, 232
tracking, 41, 131, 141, 228, 229, 442, 492
tree recursive, 40, 47
tree walker, 276
triple stack method, 183, 185, 385, 388
tuple, 166, 167, 168, 202, 207, 432, 433, 439, 462, 469, 471, 473
Turing, 2, 3, 4, 7, 9, 18, 162, 412
Turing machine, 3, 4, 18
Turner, 10, 11, 12, 18, 488, 491, 496, 497
twin stack method, 388, 389, 410, 411
type checker, 13, 16, 178, 213, 250, 251, 252, 254, 255, 256, 260, 263, 276, 438, 443, 445
type checking, 11, 13, 14, 15, 17, 73, 214, 215, 220, 225, 226, 241, 250, 255, 256, 316, 345, 346, 367, 423, 424, 425, 427, 428, 431, 442, 443, 446, 447, 449, 451, 458, 462, 463, 467, 468
type discipline, 199
type error, 11, 199, 200, 201, 203, 208, 232, 235, 237, 241, 242, 250, 251, 263, 268, 438, 443, 456, 458
type operator, 201
type safe, 410, 432
type secure, 14, 199, 206, 261, 313, 367
|
|
